// LANGUAGE: +NameBasedDestructuring +DeprecateNameMismatchInShortDestructuringWithParentheses +EnableNameBasedDestructuringShortForm
data class A(var string: String)

fun box(): String {
    val a = A("Fail")
    a.string = "OK"
    val [result] = a
    return result
}
